Colors Make Theories Hard

نویسنده

  • Roberto Sebastiani
چکیده

The satisfiability problem for conjunctions of quantifier-free literals in first-order theories T of interest –“T -solving” for short– has been deeply investigated for more than three decades from both theoretical and practical perspectives, and it is currently a core issue of state-of-the-art SMT solving. Given some theory T of interest, a key theoretical problem is to establish the computational (in)tractability of T -solving, or to identify intractable fragments of T . In this paper we investigate this problem from a general perspective, and we present a simple and general criterion for establishing the NP-hardness of T solving, which is based on the novel concept of “colorer” for a theory T . As a proof of concept, we show the effectiveness and simplicity of this novel criterion by easily producing very simple proofs of the NP-hardness for many theories of interest for SMT, or of some of their fragments.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Holography and Unquenched Quark-Gluon Plasmas

We employ the string/gauge theory correspondence to study properties of strongly coupled quark-gluon plasmas in thermal gauge theories with a large number of colors and flavors. In particular, we analyze non-critical string duals of conformal (S)QCD, as well as ten dimensional wrapped fivebrane duals of SQCD–like theories. We study general properties of the dual plasmas, including the drag forc...

متن کامل

On the Structural Properties of the Colors∗

Primary quality theories of color claim that colors are intrinsic, objective, mind-independent properties of external objects — that colors, like size and shape, are examples of the sort of properties moderns such as Boyle and Locke called primary qualities of body. Primary quality theories have long been seen as one of the main philosophical options for understanding the nature of color. Howev...

متن کامل

اهمیت و مبانی کلیدی انتخاب رنگ در محصولات

 Color is one of the main indicators of aesthetics issues. Due to importance of colors quality among the industrial products, colors selection for products is a key point for production. Furthermore understanding and conceptions of the mentioned visual factors is complicated. Also, colors as a very important aesthetic factor is a challengeable and effective subject for design’s team work and th...

متن کامل

Background Car Color and Safety

A frequently asked question of Foundation staff is "What is the safest car color?" Psychological studies show that color has an effect on behavior, and there are other studies about color and conspicuity, but there are very few studies examining the impact of car color on crash rates. "Colors can create conditions that can cause fatigue, increase stress, decrease visual perception, damage eyesi...

متن کامل

Comparative Study of Architectural Phenomenology in Theories of Juhani Pallasmaa and Steven Holl

Phenomenology as one of the philosophical fields of the twentieth century, was used in the last decades of this century as an effective approach to better understanding in architectural theorizing. The present study examines the viewpoints of Juhani Pallasmaa and Steven Holl through their key concepts, with the aim of showing the commonalities and differences of their views and explaining more ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016